Authenticated Data Distribution Using Query Certiicate Managers
نویسندگان
چکیده
QCM is a special-purpose programming language for authenticated data distribution on the Internet. QCM programs maintain a database distributed among the nodes of a loosely-coupled network and interact by exchanging digitally-signed database queries and responses. The database primitives of QCM naturally support essential security functions such as the deenition, distribution, and use of access control lists and public key directories. QCM has a formal semantics based on structural operational semantics and I/O automata which may be used to prove correctness properties of QCM programs.
منابع مشابه
Certificate Distribution with Local Autonomy
Any security architecture for a wide area network system spanning multiple administrative domains will require support for policy delegation and certiicate distribution across the network. Practical solutions will support local autonomy requirements of participating domains by allowing local policies to vary but imposing restrictions to ensure overall coherence of the system. This paper describ...
متن کاملCertiicate Revocation and Certiicate Update
A new solution is suggested for the problem of certi cate revocation. This solution represents Certi cate Revocation Lists by an authenticated search data structure. The process of verifying whether a certi cate is in the list or not, as well as updating the list, is made very e cient. The suggested solution gains in scalability, communication costs, robustness to parameter changes and update r...
متن کاملVerification of Web-Content Searching Through Authenticated Web Crawler Project Report
In this project, we study the security properties of web-content searching by using threeparty authenticated data structure model. We present an implementation of an authenticated web crawler, a trusted program that computes a digest of a collection of web pages. This digest is later used to check the integrity of result of conjunctive keyword search queries, an important kind of query supporte...
متن کاملA Distributed Query Execution Method for RDF Storage Managers
A distributed query execution method for Resource Description Framework (RDF) storage managers is proposed. Method is intended for use with an RDF storage manager called big3store to enable it to perform efficient query execution over large-scale RDF data sets. The storage manager converts SPARQL queries into tree structures using RDF algebra formalism. The nodes of those tree structures are re...
متن کاملAuthenticated Dictionary Based on Frequency
We propose a model for data authentication which takes into account the behavior of the clients who perform queries. Our model reduces the size of the authenticated proof when the frequency of the query corresponding to a given data is higher. Existing models implicitly assume the frequency distribution of queries to be uniform, but in reality, this distribution generally follows Zipf’s law. Th...
متن کامل